Extensions 1→N→G→Q→1 with N=C2.C42 and Q=C22

Direct product G=N×Q with N=C2.C42 and Q=C22
dρLabelID
C22×C2.C42128C2^2xC2.C4^2128,998

Semidirect products G=N:Q with N=C2.C42 and Q=C22
extensionφ:Q→Out NdρLabelID
C2.C421C22 = C24.56D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:1C2^2128,242
C2.C422C22 = C24.60D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:2C2^2128,251
C2.C423C22 = C23⋊D8φ: C22/C1C22 ⊆ Out C2.C4216C2.C4^2:3C2^2128,327
C2.C424C22 = C232SD16φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:4C2^2128,333
C2.C425C22 = C23.5D8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:5C2^2128,339
C2.C426C22 = C24.16D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:6C2^2128,345
C2.C427C22 = C24.90D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:7C2^2128,1040
C2.C428C22 = C23.194C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:8C2^2128,1044
C2.C429C22 = C24.91D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:9C2^2128,1047
C2.C4210C22 = C23.203C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:10C2^2128,1053
C2.C4211C22 = D4×C22⋊C4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:11C2^2128,1070
C2.C4212C22 = C23.240C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:12C2^2128,1090
C2.C4213C22 = C23.257C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:13C2^2128,1107
C2.C4214C22 = C247D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:14C2^2128,1135
C2.C4215C22 = C23.304C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:15C2^2128,1136
C2.C4216C22 = C24.94D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:16C2^2128,1137
C2.C4217C22 = C23.308C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:17C2^2128,1140
C2.C4218C22 = C248D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:18C2^2128,1142
C2.C4219C22 = C23.311C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:19C2^2128,1143
C2.C4220C22 = C24.95D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:20C2^2128,1144
C2.C4221C22 = C23.318C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:21C2^2128,1150
C2.C4222C22 = C23.324C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:22C2^2128,1156
C2.C4223C22 = C244Q8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:23C2^2128,1169
C2.C4224C22 = C23.382C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:24C2^2128,1214
C2.C4225C22 = C24.96D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:25C2^2128,1215
C2.C4226C22 = C23.434C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:26C2^2128,1266
C2.C4227C22 = C23.461C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:27C2^2128,1293
C2.C4228C22 = C249D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:28C2^2128,1345
C2.C4229C22 = C2410D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:29C2^2128,1349
C2.C4230C22 = C24.97D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:30C2^2128,1354
C2.C4231C22 = C245Q8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:31C2^2128,1358
C2.C4232C22 = C23.568C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:32C2^2128,1400
C2.C4233C22 = C23.569C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:33C2^2128,1401
C2.C4234C22 = C23.570C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:34C2^2128,1402
C2.C4235C22 = C23.578C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:35C2^2128,1410
C2.C4236C22 = C25⋊C22φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:36C2^2128,1411
C2.C4237C22 = C23.584C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:37C2^2128,1416
C2.C4238C22 = C23.585C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:38C2^2128,1417
C2.C4239C22 = C23.597C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:39C2^2128,1429
C2.C4240C22 = C23.635C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:40C2^2128,1467
C2.C4241C22 = C23.636C24φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:41C2^2128,1468
C2.C4242C22 = C2411D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:42C2^2128,1544
C2.C4243C22 = C246Q8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:43C2^2128,1572
C2.C4244C22 = C24.15Q8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:44C2^2128,1574
C2.C4245C22 = C2413D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:45C2^2128,1579
C2.C4246C22 = C248Q8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:46C2^2128,1580
C2.C4247C22 = C24.166D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2:47C2^2128,1581
C2.C4248C22 = C2×C23.7Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:48C2^2128,1010
C2.C4249C22 = C2×C23.34D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:49C2^2128,1011
C2.C4250C22 = C25.85C22φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:50C2^2128,1012
C2.C4251C22 = C2×C24.C22φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:51C2^2128,1021
C2.C4252C22 = C23.224C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:52C2^2128,1074
C2.C4253C22 = C2×C23.Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:53C2^2128,1121
C2.C4254C22 = C2×C23.11D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:54C2^2128,1122
C2.C4255C22 = C23.380C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:55C2^2128,1212
C2.C4256C22 = C2×C22.SD16φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:56C2^2128,230
C2.C4257C22 = C24.54D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:57C2^2128,239
C2.C4258C22 = C2×C23.8Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:58C2^2128,1018
C2.C4259C22 = C2×C23.23D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:59C2^2128,1019
C2.C4260C22 = C4×C22≀C2φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:60C2^2128,1031
C2.C4261C22 = C2×C232D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:61C2^2128,1116
C2.C4262C22 = C2×C23⋊Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:62C2^2128,1117
C2.C4263C22 = C2×C23.10D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:63C2^2128,1118
C2.C4264C22 = C2×C23.4Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2:64C2^2128,1125
C2.C4265C22 = C23.333C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:65C2^2128,1165
C2.C4266C22 = C23.335C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:66C2^2128,1167
C2.C4267C22 = C23.372C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:67C2^2128,1204
C2.C4268C22 = C23.439C24φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2:68C2^2128,1271
C2.C4269C22 = C2×C4×C22⋊C4φ: trivial image64C2.C4^2:69C2^2128,1000
C2.C4270C22 = C23⋊C42φ: trivial image32C2.C4^2:70C2^2128,1005

Non-split extensions G=N.Q with N=C2.C42 and Q=C22
extensionφ:Q→Out NdρLabelID
C2.C42.1C22 = C24.57D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.1C2^2128,243
C2.C42.2C22 = C42.58D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.2C2^2128,244
C2.C42.3C22 = C24.58D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.3C2^2128,245
C2.C42.4C22 = C42.59D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.4C2^2128,246
C2.C42.5C22 = C42.60D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.5C2^2128,247
C2.C42.6C22 = C24.59D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.6C2^2128,248
C2.C42.7C22 = C42.61D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.7C2^2128,249
C2.C42.8C22 = C42.62D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.8C2^2128,250
C2.C42.9C22 = C24.61D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.9C2^2128,252
C2.C42.10C22 = C42.63D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.10C2^2128,253
C2.C42.11C22 = C23⋊SD16φ: C22/C1C22 ⊆ Out C2.C4216C2.C4^2.11C2^2128,328
C2.C42.12C22 = C4⋊C4.D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.12C2^2128,329
C2.C42.13C22 = (C2×C4)⋊D8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.13C2^2128,330
C2.C42.14C22 = (C2×C4)⋊SD16φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.14C2^2128,331
C2.C42.15C22 = C24.9D4φ: C22/C1C22 ⊆ Out C2.C4216C2.C4^2.15C2^2128,332
C2.C42.16C22 = C23⋊Q16φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.16C2^2128,334
C2.C42.17C22 = C4⋊C4.6D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.17C2^2128,335
C2.C42.18C22 = Q8⋊D4⋊C2φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.18C2^2128,336
C2.C42.19C22 = (C2×C4)⋊Q16φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.19C2^2128,337
C2.C42.20C22 = C24.12D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.20C2^2128,338
C2.C42.21C22 = C24.14D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.21C2^2128,340
C2.C42.22C22 = C4⋊C4.12D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.22C2^2128,341
C2.C42.23C22 = (C2×C4).5D8φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.23C2^2128,342
C2.C42.24C22 = (C2×C4).SD16φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.24C2^2128,343
C2.C42.25C22 = C24.15D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.25C2^2128,344
C2.C42.26C22 = C24.17D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.26C2^2128,346
C2.C42.27C22 = C4⋊C4.18D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.27C2^2128,347
C2.C42.28C22 = C4⋊C4.19D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.28C2^2128,348
C2.C42.29C22 = C4⋊C4.20D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.29C2^2128,349
C2.C42.30C22 = C24.18D4φ: C22/C1C22 ⊆ Out C2.C4232C2.C4^2.30C2^2128,350
C2.C42.31C22 = C23.192C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.31C2^2128,1042
C2.C42.32C22 = C24.542C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.32C2^2128,1043
C2.C42.33C22 = C23.195C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.33C2^2128,1045
C2.C42.34C22 = C24.192C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.34C2^2128,1046
C2.C42.35C22 = C24.545C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.35C2^2128,1048
C2.C42.36C22 = C23.199C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.36C2^2128,1049
C2.C42.37C22 = C24.547C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.37C2^2128,1050
C2.C42.38C22 = C23.201C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.38C2^2128,1051
C2.C42.39C22 = C23.202C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.39C2^2128,1052
C2.C42.40C22 = C24.195C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.40C2^2128,1054
C2.C42.41C22 = C42.159D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.41C2^2128,1055
C2.C42.42C22 = C4213D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.42C2^2128,1056
C2.C42.43C22 = C24.198C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.43C2^2128,1057
C2.C42.44C22 = C42.160D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.44C2^2128,1058
C2.C42.45C22 = C42.161D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.45C2^2128,1059
C2.C42.46C22 = C4214D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.46C2^2128,1060
C2.C42.47C22 = C23.211C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.47C2^2128,1061
C2.C42.48C22 = C42.33Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.48C2^2128,1062
C2.C42.49C22 = C424Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.49C2^2128,1063
C2.C42.50C22 = C23.214C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.50C2^2128,1064
C2.C42.51C22 = C24.203C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.51C2^2128,1066
C2.C42.52C22 = C24.204C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.52C2^2128,1067
C2.C42.53C22 = C23.218C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.53C2^2128,1068
C2.C42.54C22 = C24.205C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.54C2^2128,1069
C2.C42.55C22 = C24.549C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.55C2^2128,1071
C2.C42.56C22 = Q8×C22⋊C4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.56C2^2128,1072
C2.C42.57C22 = C23.225C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.57C2^2128,1075
C2.C42.58C22 = D4×C4⋊C4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.58C2^2128,1080
C2.C42.59C22 = C23.233C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.59C2^2128,1083
C2.C42.60C22 = C23.238C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.60C2^2128,1088
C2.C42.61C22 = C24.212C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.61C2^2128,1089
C2.C42.62C22 = C23.241C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.62C2^2128,1091
C2.C42.63C22 = C23.244C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.63C2^2128,1094
C2.C42.64C22 = C24.218C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.64C2^2128,1096
C2.C42.65C22 = C24.220C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.65C2^2128,1099
C2.C42.66C22 = C24.225C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.66C2^2128,1108
C2.C42.67C22 = C23.259C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.67C2^2128,1109
C2.C42.68C22 = C24.227C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.68C2^2128,1110
C2.C42.69C22 = C23.261C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.69C2^2128,1111
C2.C42.70C22 = C23.262C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.70C2^2128,1112
C2.C42.71C22 = C23.263C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.71C2^2128,1113
C2.C42.72C22 = C23.264C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.72C2^2128,1114
C2.C42.73C22 = C24.230C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.73C2^2128,1115
C2.C42.74C22 = C24.243C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.74C2^2128,1138
C2.C42.75C22 = C24.244C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.75C2^2128,1139
C2.C42.76C22 = C23.309C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.76C2^2128,1141
C2.C42.77C22 = C23.313C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.77C2^2128,1145
C2.C42.78C22 = C24.249C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.78C2^2128,1146
C2.C42.79C22 = C23.315C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.79C2^2128,1147
C2.C42.80C22 = C23.316C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.80C2^2128,1148
C2.C42.81C22 = C24.252C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.81C2^2128,1149
C2.C42.82C22 = C24.563C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.82C2^2128,1151
C2.C42.83C22 = C24.254C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.83C2^2128,1152
C2.C42.84C22 = C23.321C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.84C2^2128,1153
C2.C42.85C22 = C23.322C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.85C2^2128,1154
C2.C42.86C22 = C23.323C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.86C2^2128,1155
C2.C42.87C22 = C24.259C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.87C2^2128,1158
C2.C42.88C22 = C23.327C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.88C2^2128,1159
C2.C42.89C22 = C23.328C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.89C2^2128,1160
C2.C42.90C22 = C23.329C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.90C2^2128,1161
C2.C42.91C22 = C24.262C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.91C2^2128,1162
C2.C42.92C22 = C24.263C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.92C2^2128,1163
C2.C42.93C22 = C24.264C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.93C2^2128,1164
C2.C42.94C22 = C23.334C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.94C2^2128,1166
C2.C42.95C22 = C24.565C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.95C2^2128,1168
C2.C42.96C22 = C24.567C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.96C2^2128,1170
C2.C42.97C22 = C24.267C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.97C2^2128,1171
C2.C42.98C22 = C24.568C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.98C2^2128,1172
C2.C42.99C22 = C24.268C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.99C2^2128,1173
C2.C42.100C22 = C24.269C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.100C2^2128,1175
C2.C42.101C22 = C23.344C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.101C2^2128,1176
C2.C42.102C22 = C23.345C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.102C2^2128,1177
C2.C42.103C22 = C23.346C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.103C2^2128,1178
C2.C42.104C22 = C24.271C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.104C2^2128,1179
C2.C42.105C22 = C23.348C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.105C2^2128,1180
C2.C42.106C22 = C23.349C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.106C2^2128,1181
C2.C42.107C22 = C23.350C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.107C2^2128,1182
C2.C42.108C22 = C23.351C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.108C2^2128,1183
C2.C42.109C22 = C23.352C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.109C2^2128,1184
C2.C42.110C22 = C23.353C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.110C2^2128,1185
C2.C42.111C22 = C23.354C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.111C2^2128,1186
C2.C42.112C22 = C24.276C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.112C2^2128,1187
C2.C42.113C22 = C23.356C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.113C2^2128,1188
C2.C42.114C22 = C24.278C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.114C2^2128,1189
C2.C42.115C22 = C24.279C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.115C2^2128,1190
C2.C42.116C22 = C23.359C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.116C2^2128,1191
C2.C42.117C22 = C23.360C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.117C2^2128,1192
C2.C42.118C22 = C24.282C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.118C2^2128,1193
C2.C42.119C22 = C23.362C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.119C2^2128,1194
C2.C42.120C22 = C24.283C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.120C2^2128,1195
C2.C42.121C22 = C23.364C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.121C2^2128,1196
C2.C42.122C22 = C24.285C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.122C2^2128,1197
C2.C42.123C22 = C24.286C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.123C2^2128,1198
C2.C42.124C22 = C23.367C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.124C2^2128,1199
C2.C42.125C22 = C23.368C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.125C2^2128,1200
C2.C42.126C22 = C23.369C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.126C2^2128,1201
C2.C42.127C22 = C24.289C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.127C2^2128,1202
C2.C42.128C22 = C24.290C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.128C2^2128,1203
C2.C42.129C22 = C24.572C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.129C2^2128,1205
C2.C42.130C22 = C23.374C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.130C2^2128,1206
C2.C42.131C22 = C23.375C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.131C2^2128,1207
C2.C42.132C22 = C24.293C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.132C2^2128,1208
C2.C42.133C22 = C23.377C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.133C2^2128,1209
C2.C42.134C22 = C24.295C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.134C2^2128,1210
C2.C42.135C22 = C23.379C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.135C2^2128,1211
C2.C42.136C22 = C24.573C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.136C2^2128,1213
C2.C42.137C22 = C24.576C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.137C2^2128,1216
C2.C42.138C22 = C23.385C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.138C2^2128,1217
C2.C42.139C22 = C24.299C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.139C2^2128,1218
C2.C42.140C22 = C24.300C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.140C2^2128,1219
C2.C42.141C22 = C23.388C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.141C2^2128,1220
C2.C42.142C22 = C24.301C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.142C2^2128,1221
C2.C42.143C22 = C23.390C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.143C2^2128,1222
C2.C42.144C22 = C23.392C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.144C2^2128,1224
C2.C42.145C22 = C24.577C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.145C2^2128,1225
C2.C42.146C22 = C24.304C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.146C2^2128,1226
C2.C42.147C22 = C23.395C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.147C2^2128,1227
C2.C42.148C22 = C23.396C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.148C2^2128,1228
C2.C42.149C22 = C23.397C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.149C2^2128,1229
C2.C42.150C22 = C23.398C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.150C2^2128,1230
C2.C42.151C22 = C24.308C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.151C2^2128,1231
C2.C42.152C22 = C23.400C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.152C2^2128,1232
C2.C42.153C22 = C23.402C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.153C2^2128,1234
C2.C42.154C22 = C24.579C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.154C2^2128,1235
C2.C42.155C22 = C23.404C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.155C2^2128,1236
C2.C42.156C22 = C23.405C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.156C2^2128,1237
C2.C42.157C22 = C23.406C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.157C2^2128,1238
C2.C42.158C22 = C23.407C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.158C2^2128,1239
C2.C42.159C22 = C23.408C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.159C2^2128,1240
C2.C42.160C22 = C23.409C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.160C2^2128,1241
C2.C42.161C22 = C23.411C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.161C2^2128,1243
C2.C42.162C22 = C23.414C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.162C2^2128,1246
C2.C42.163C22 = C24.309C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.163C2^2128,1247
C2.C42.164C22 = C23.416C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.164C2^2128,1248
C2.C42.165C22 = C23.417C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.165C2^2128,1249
C2.C42.166C22 = C23.418C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.166C2^2128,1250
C2.C42.167C22 = C23.419C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.167C2^2128,1251
C2.C42.168C22 = C23.420C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.168C2^2128,1252
C2.C42.169C22 = C24.311C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.169C2^2128,1253
C2.C42.170C22 = C23.422C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.170C2^2128,1254
C2.C42.171C22 = C24.313C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.171C2^2128,1255
C2.C42.172C22 = C23.424C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.172C2^2128,1256
C2.C42.173C22 = C23.425C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.173C2^2128,1257
C2.C42.174C22 = C24.315C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.174C2^2128,1259
C2.C42.175C22 = C23.428C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.175C2^2128,1260
C2.C42.176C22 = C23.430C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.176C2^2128,1262
C2.C42.177C22 = C23.433C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.177C2^2128,1265
C2.C42.178C22 = C4217D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.178C2^2128,1267
C2.C42.179C22 = C42.165D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.179C2^2128,1268
C2.C42.180C22 = C4218D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.180C2^2128,1269
C2.C42.181C22 = C42.166D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.181C2^2128,1270
C2.C42.182C22 = C4221D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.182C2^2128,1276
C2.C42.183C22 = C42.168D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.183C2^2128,1277
C2.C42.184C22 = C42.169D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.184C2^2128,1278
C2.C42.185C22 = C42.170D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.185C2^2128,1279
C2.C42.186C22 = C23.449C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.186C2^2128,1281
C2.C42.187C22 = C426Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.187C2^2128,1282
C2.C42.188C22 = C427Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.188C2^2128,1283
C2.C42.189C22 = C42.35Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.189C2^2128,1284
C2.C42.190C22 = C24.326C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.190C2^2128,1285
C2.C42.191C22 = C24.327C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.191C2^2128,1286
C2.C42.192C22 = C23.455C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.192C2^2128,1287
C2.C42.193C22 = C23.456C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.193C2^2128,1288
C2.C42.194C22 = C23.457C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.194C2^2128,1289
C2.C42.195C22 = C23.458C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.195C2^2128,1290
C2.C42.196C22 = C24.331C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.196C2^2128,1291
C2.C42.197C22 = C24.332C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.197C2^2128,1292
C2.C42.198C22 = C42.172D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.198C2^2128,1294
C2.C42.199C22 = C42.173D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.199C2^2128,1295
C2.C42.200C22 = C24.583C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.200C2^2128,1296
C2.C42.201C22 = C42.174D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.201C2^2128,1297
C2.C42.202C22 = C42.175D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.202C2^2128,1298
C2.C42.203C22 = C42.176D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.203C2^2128,1299
C2.C42.204C22 = C42.177D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.204C2^2128,1300
C2.C42.205C22 = C24.584C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.205C2^2128,1301
C2.C42.206C22 = C42.36Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.206C2^2128,1302
C2.C42.207C22 = C42.37Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.207C2^2128,1303
C2.C42.208C22 = C23.472C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.208C2^2128,1304
C2.C42.209C22 = C23.473C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.209C2^2128,1305
C2.C42.210C22 = C24.338C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.210C2^2128,1306
C2.C42.211C22 = C24.339C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.211C2^2128,1307
C2.C42.212C22 = C24.341C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.212C2^2128,1309
C2.C42.213C22 = C23.479C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.213C2^2128,1311
C2.C42.214C22 = C42.178D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.214C2^2128,1312
C2.C42.215C22 = C42.179D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.215C2^2128,1313
C2.C42.216C22 = C42.180D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.216C2^2128,1314
C2.C42.217C22 = C23.483C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.217C2^2128,1315
C2.C42.218C22 = C42.181D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.218C2^2128,1316
C2.C42.219C22 = C23.485C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.219C2^2128,1317
C2.C42.220C22 = C23.486C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.220C2^2128,1318
C2.C42.221C22 = C24.345C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.221C2^2128,1319
C2.C42.222C22 = C23.488C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.222C2^2128,1320
C2.C42.223C22 = C24.346C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.223C2^2128,1321
C2.C42.224C22 = C23.490C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.224C2^2128,1322
C2.C42.225C22 = C23.491C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.225C2^2128,1323
C2.C42.226C22 = C42.182D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.226C2^2128,1324
C2.C42.227C22 = C23.493C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.227C2^2128,1325
C2.C42.228C22 = C4222D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.228C2^2128,1330
C2.C42.229C22 = C42.183D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.229C2^2128,1331
C2.C42.230C22 = C23.500C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.230C2^2128,1332
C2.C42.231C22 = C4223D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.231C2^2128,1333
C2.C42.232C22 = C23.502C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.232C2^2128,1334
C2.C42.233C22 = C4224D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.233C2^2128,1335
C2.C42.234C22 = C42.184D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.234C2^2128,1336
C2.C42.235C22 = C428Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.235C2^2128,1337
C2.C42.236C22 = C24.355C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.236C2^2128,1339
C2.C42.237C22 = C23.508C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.237C2^2128,1340
C2.C42.238C22 = C4225D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.238C2^2128,1341
C2.C42.239C22 = C4226D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.239C2^2128,1342
C2.C42.240C22 = C42.185D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.240C2^2128,1343
C2.C42.241C22 = C429Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.241C2^2128,1344
C2.C42.242C22 = C23.514C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.242C2^2128,1346
C2.C42.243C22 = C24.360C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.243C2^2128,1347
C2.C42.244C22 = C24.361C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.244C2^2128,1348
C2.C42.245C22 = C24.587C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.245C2^2128,1350
C2.C42.246C22 = C4227D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.246C2^2128,1351
C2.C42.247C22 = C4228D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.247C2^2128,1352
C2.C42.248C22 = C42.186D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.248C2^2128,1353
C2.C42.249C22 = C24.589C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.249C2^2128,1355
C2.C42.250C22 = C23.524C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.250C2^2128,1356
C2.C42.251C22 = C23.525C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.251C2^2128,1357
C2.C42.252C22 = C23.527C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.252C2^2128,1359
C2.C42.253C22 = C42.187D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.253C2^2128,1360
C2.C42.254C22 = C42.188D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.254C2^2128,1361
C2.C42.255C22 = C23.530C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.255C2^2128,1362
C2.C42.256C22 = C4229D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.256C2^2128,1363
C2.C42.257C22 = C42.189D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.257C2^2128,1364
C2.C42.258C22 = C42.190D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.258C2^2128,1365
C2.C42.259C22 = C42.191D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.259C2^2128,1366
C2.C42.260C22 = C23.535C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.260C2^2128,1367
C2.C42.261C22 = C4230D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.261C2^2128,1368
C2.C42.262C22 = C42.192D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.262C2^2128,1369
C2.C42.263C22 = C24.374C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.263C2^2128,1370
C2.C42.264C22 = C23.543C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.264C2^2128,1375
C2.C42.265C22 = C23.545C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.265C2^2128,1377
C2.C42.266C22 = C42.39Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.266C2^2128,1379
C2.C42.267C22 = C24.375C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.267C2^2128,1381
C2.C42.268C22 = C23.550C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.268C2^2128,1382
C2.C42.269C22 = C24.376C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.269C2^2128,1384
C2.C42.270C22 = C23.553C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.270C2^2128,1385
C2.C42.271C22 = C23.554C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.271C2^2128,1386
C2.C42.272C22 = C23.555C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.272C2^2128,1387
C2.C42.273C22 = C23.559C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.273C2^2128,1391
C2.C42.274C22 = C4210Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.274C2^2128,1392
C2.C42.275C22 = C24.377C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.275C2^2128,1393
C2.C42.276C22 = C4232D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.276C2^2128,1394
C2.C42.277C22 = C24.378C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.277C2^2128,1395
C2.C42.278C22 = C42.198D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.278C2^2128,1396
C2.C42.279C22 = C24.379C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.279C2^2128,1397
C2.C42.280C22 = C4211Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.280C2^2128,1398
C2.C42.281C22 = C23.567C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.281C2^2128,1399
C2.C42.282C22 = C23.571C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.282C2^2128,1403
C2.C42.283C22 = C23.572C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.283C2^2128,1404
C2.C42.284C22 = C23.573C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.284C2^2128,1405
C2.C42.285C22 = C23.574C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.285C2^2128,1406
C2.C42.286C22 = C24.384C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.286C2^2128,1407
C2.C42.287C22 = C23.576C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.287C2^2128,1408
C2.C42.288C22 = C24.385C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.288C2^2128,1409
C2.C42.289C22 = C23.580C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.289C2^2128,1412
C2.C42.290C22 = C23.581C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.290C2^2128,1413
C2.C42.291C22 = C24.389C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.291C2^2128,1414
C2.C42.292C22 = C23.583C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.292C2^2128,1415
C2.C42.293C22 = C24.393C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.293C2^2128,1418
C2.C42.294C22 = C24.394C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.294C2^2128,1419
C2.C42.295C22 = C24.395C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.295C2^2128,1420
C2.C42.296C22 = C23.589C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.296C2^2128,1421
C2.C42.297C22 = C23.590C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.297C2^2128,1422
C2.C42.298C22 = C23.591C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.298C2^2128,1423
C2.C42.299C22 = C23.592C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.299C2^2128,1424
C2.C42.300C22 = C23.593C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.300C2^2128,1425
C2.C42.301C22 = C24.401C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.301C2^2128,1426
C2.C42.302C22 = C23.595C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.302C2^2128,1427
C2.C42.303C22 = C24.403C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.303C2^2128,1428
C2.C42.304C22 = C24.405C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.304C2^2128,1430
C2.C42.305C22 = C24.406C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.305C2^2128,1431
C2.C42.306C22 = C23.600C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.306C2^2128,1432
C2.C42.307C22 = C24.407C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.307C2^2128,1433
C2.C42.308C22 = C23.602C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.308C2^2128,1434
C2.C42.309C22 = C23.603C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.309C2^2128,1435
C2.C42.310C22 = C24.408C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.310C2^2128,1436
C2.C42.311C22 = C23.605C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.311C2^2128,1437
C2.C42.312C22 = C23.606C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.312C2^2128,1438
C2.C42.313C22 = C23.607C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.313C2^2128,1439
C2.C42.314C22 = C23.608C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.314C2^2128,1440
C2.C42.315C22 = C24.411C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.315C2^2128,1441
C2.C42.316C22 = C24.412C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.316C2^2128,1442
C2.C42.317C22 = C23.611C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.317C2^2128,1443
C2.C42.318C22 = C23.612C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.318C2^2128,1444
C2.C42.319C22 = C23.613C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.319C2^2128,1445
C2.C42.320C22 = C24.413C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.320C2^2128,1446
C2.C42.321C22 = C23.615C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.321C2^2128,1447
C2.C42.322C22 = C23.616C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.322C2^2128,1448
C2.C42.323C22 = C23.617C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.323C2^2128,1449
C2.C42.324C22 = C23.618C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.324C2^2128,1450
C2.C42.325C22 = C23.619C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.325C2^2128,1451
C2.C42.326C22 = C23.620C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.326C2^2128,1452
C2.C42.327C22 = C23.621C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.327C2^2128,1453
C2.C42.328C22 = C23.622C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.328C2^2128,1454
C2.C42.329C22 = C24.418C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.329C2^2128,1455
C2.C42.330C22 = C23.624C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.330C2^2128,1456
C2.C42.331C22 = C23.625C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.331C2^2128,1457
C2.C42.332C22 = C23.626C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.332C2^2128,1458
C2.C42.333C22 = C23.627C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.333C2^2128,1459
C2.C42.334C22 = C24.420C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.334C2^2128,1460
C2.C42.335C22 = C24.421C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.335C2^2128,1461
C2.C42.336C22 = C23.630C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.336C2^2128,1462
C2.C42.337C22 = C23.631C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.337C2^2128,1463
C2.C42.338C22 = C23.632C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.338C2^2128,1464
C2.C42.339C22 = C23.633C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.339C2^2128,1465
C2.C42.340C22 = C23.634C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.340C2^2128,1466
C2.C42.341C22 = C23.637C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.341C2^2128,1469
C2.C42.342C22 = C24.426C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.342C2^2128,1470
C2.C42.343C22 = C24.427C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.343C2^2128,1471
C2.C42.344C22 = C23.640C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.344C2^2128,1472
C2.C42.345C22 = C23.641C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.345C2^2128,1473
C2.C42.346C22 = C24.428C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.346C2^2128,1474
C2.C42.347C22 = C23.643C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.347C2^2128,1475
C2.C42.348C22 = C24.430C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.348C2^2128,1476
C2.C42.349C22 = C23.645C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.349C2^2128,1477
C2.C42.350C22 = C24.432C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.350C2^2128,1478
C2.C42.351C22 = C23.647C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.351C2^2128,1479
C2.C42.352C22 = C24.434C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.352C2^2128,1480
C2.C42.353C22 = C23.649C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.353C2^2128,1481
C2.C42.354C22 = C24.435C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.354C2^2128,1482
C2.C42.355C22 = C23.651C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.355C2^2128,1483
C2.C42.356C22 = C23.652C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.356C2^2128,1484
C2.C42.357C22 = C24.437C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.357C2^2128,1485
C2.C42.358C22 = C23.654C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.358C2^2128,1486
C2.C42.359C22 = C23.655C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.359C2^2128,1487
C2.C42.360C22 = C23.656C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.360C2^2128,1488
C2.C42.361C22 = C24.438C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.361C2^2128,1489
C2.C42.362C22 = C23.658C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.362C2^2128,1490
C2.C42.363C22 = C23.659C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.363C2^2128,1491
C2.C42.364C22 = C23.660C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.364C2^2128,1492
C2.C42.365C22 = C24.440C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.365C2^2128,1493
C2.C42.366C22 = C23.662C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.366C2^2128,1494
C2.C42.367C22 = C23.663C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.367C2^2128,1495
C2.C42.368C22 = C23.664C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.368C2^2128,1496
C2.C42.369C22 = C24.443C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.369C2^2128,1497
C2.C42.370C22 = C23.666C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.370C2^2128,1498
C2.C42.371C22 = C23.667C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.371C2^2128,1499
C2.C42.372C22 = C23.668C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.372C2^2128,1500
C2.C42.373C22 = C23.669C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.373C2^2128,1501
C2.C42.374C22 = C24.445C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.374C2^2128,1502
C2.C42.375C22 = C23.671C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.375C2^2128,1503
C2.C42.376C22 = C23.672C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.376C2^2128,1504
C2.C42.377C22 = C23.673C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.377C2^2128,1505
C2.C42.378C22 = C23.674C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.378C2^2128,1506
C2.C42.379C22 = C23.675C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.379C2^2128,1507
C2.C42.380C22 = C23.676C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.380C2^2128,1508
C2.C42.381C22 = C23.677C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.381C2^2128,1509
C2.C42.382C22 = C23.678C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.382C2^2128,1510
C2.C42.383C22 = C23.679C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.383C2^2128,1511
C2.C42.384C22 = C24.448C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.384C2^2128,1512
C2.C42.385C22 = C23.681C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.385C2^2128,1513
C2.C42.386C22 = C23.682C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.386C2^2128,1514
C2.C42.387C22 = C23.683C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.387C2^2128,1515
C2.C42.388C22 = C24.450C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.388C2^2128,1516
C2.C42.389C22 = C23.685C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.389C2^2128,1517
C2.C42.390C22 = C23.686C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.390C2^2128,1518
C2.C42.391C22 = C23.687C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.391C2^2128,1519
C2.C42.392C22 = C23.688C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.392C2^2128,1520
C2.C42.393C22 = C23.689C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.393C2^2128,1521
C2.C42.394C22 = C24.454C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.394C2^2128,1522
C2.C42.395C22 = C23.691C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.395C2^2128,1523
C2.C42.396C22 = C23.692C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.396C2^2128,1524
C2.C42.397C22 = C23.693C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.397C2^2128,1525
C2.C42.398C22 = C23.694C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.398C2^2128,1526
C2.C42.399C22 = C23.695C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.399C2^2128,1527
C2.C42.400C22 = C23.696C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.400C2^2128,1528
C2.C42.401C22 = C23.697C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.401C2^2128,1529
C2.C42.402C22 = C23.698C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.402C2^2128,1530
C2.C42.403C22 = C23.699C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.403C2^2128,1531
C2.C42.404C22 = C23.700C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.404C2^2128,1532
C2.C42.405C22 = C23.701C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.405C2^2128,1533
C2.C42.406C22 = C23.702C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.406C2^2128,1534
C2.C42.407C22 = C23.703C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.407C2^2128,1535
C2.C42.408C22 = C24.456C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.408C2^2128,1536
C2.C42.409C22 = C23.705C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.409C2^2128,1537
C2.C42.410C22 = C23.706C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.410C2^2128,1538
C2.C42.411C22 = C23.707C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.411C2^2128,1539
C2.C42.412C22 = C23.708C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.412C2^2128,1540
C2.C42.413C22 = C23.709C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.413C2^2128,1541
C2.C42.414C22 = C23.710C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.414C2^2128,1542
C2.C42.415C22 = C23.711C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.415C2^2128,1543
C2.C42.416C22 = C24.459C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.416C2^2128,1545
C2.C42.417C22 = C23.714C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.417C2^2128,1546
C2.C42.418C22 = C23.715C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.418C2^2128,1547
C2.C42.419C22 = C23.716C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.419C2^2128,1548
C2.C42.420C22 = C24.462C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.420C2^2128,1549
C2.C42.421C22 = C4233D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.421C2^2128,1550
C2.C42.422C22 = C4234D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.422C2^2128,1551
C2.C42.423C22 = C42.199D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.423C2^2128,1552
C2.C42.424C22 = C42.200D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.424C2^2128,1553
C2.C42.425C22 = C42.201D4φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.425C2^2128,1554
C2.C42.426C22 = C4235D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.426C2^2128,1555
C2.C42.427C22 = C23.724C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.427C2^2128,1556
C2.C42.428C22 = C23.725C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.428C2^2128,1557
C2.C42.429C22 = C23.726C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.429C2^2128,1558
C2.C42.430C22 = C23.727C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.430C2^2128,1559
C2.C42.431C22 = C23.728C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.431C2^2128,1560
C2.C42.432C22 = C23.729C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.432C2^2128,1561
C2.C42.433C22 = C23.730C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.433C2^2128,1562
C2.C42.434C22 = C23.731C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.434C2^2128,1563
C2.C42.435C22 = C23.732C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.435C2^2128,1564
C2.C42.436C22 = C23.733C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.436C2^2128,1565
C2.C42.437C22 = C23.734C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.437C2^2128,1566
C2.C42.438C22 = C23.735C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.438C2^2128,1567
C2.C42.439C22 = C23.736C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.439C2^2128,1568
C2.C42.440C22 = C23.737C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.440C2^2128,1569
C2.C42.441C22 = C23.738C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.441C2^2128,1570
C2.C42.442C22 = C23.739C24φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.442C2^2128,1571
C2.C42.443C22 = C23.741C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.443C2^2128,1573
C2.C42.444C22 = C4212Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.444C2^2128,1575
C2.C42.445C22 = C4213Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.445C2^2128,1576
C2.C42.446C22 = C42.40Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.446C2^2128,1577
C2.C42.447C22 = C4246D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.447C2^2128,1582
C2.C42.448C22 = C42.439D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.448C2^2128,1583
C2.C42.449C22 = C4243D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.449C2^2128,1584
C2.C42.450C22 = C23.753C24φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.450C2^2128,1585
C2.C42.451C22 = C24.598C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.451C2^2128,1586
C2.C42.452C22 = C24.599C23φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.452C2^2128,1587
C2.C42.453C22 = C42.440D4φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.453C2^2128,1589
C2.C42.454C22 = C43.15C2φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.454C2^2128,1591
C2.C42.455C22 = C4313C2φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.455C2^2128,1592
C2.C42.456C22 = C4314C2φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.456C2^2128,1593
C2.C42.457C22 = C4218Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.457C2^2128,1594
C2.C42.458C22 = C4215Q8φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.458C2^2128,1595
C2.C42.459C22 = C43.18C2φ: C22/C1C22 ⊆ Out C2.C42128C2.C4^2.459C2^2128,1596
C2.C42.460C22 = C434C2φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.460C2^2128,1597
C2.C42.461C22 = C435C2φ: C22/C1C22 ⊆ Out C2.C4264C2.C4^2.461C2^2128,1598
C2.C42.462C22 = C2×C428C4φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.462C2^2128,1013
C2.C42.463C22 = C2×C425C4φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.463C2^2128,1014
C2.C42.464C22 = C23.165C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.464C2^2128,1015
C2.C42.465C22 = C23.167C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.465C2^2128,1017
C2.C42.466C22 = C2×C23.63C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.466C2^2128,1020
C2.C42.467C22 = C432C2φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.467C2^2128,1030
C2.C42.468C22 = C4×C4.4D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.468C2^2128,1035
C2.C42.469C22 = C4×C42.C2φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.469C2^2128,1037
C2.C42.470C22 = C23.215C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.470C2^2128,1065
C2.C42.471C22 = C23.223C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.471C2^2128,1073
C2.C42.472C22 = C23.226C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.472C2^2128,1076
C2.C42.473C22 = C23.227C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.473C2^2128,1077
C2.C42.474C22 = C23.229C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.474C2^2128,1079
C2.C42.475C22 = C23.231C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.475C2^2128,1081
C2.C42.476C22 = C23.234C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.476C2^2128,1084
C2.C42.477C22 = C23.235C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.477C2^2128,1085
C2.C42.478C22 = C23.236C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.478C2^2128,1086
C2.C42.479C22 = C23.237C24φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.479C2^2128,1087
C2.C42.480C22 = C23.253C24φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.480C2^2128,1103
C2.C42.481C22 = C24.221C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.481C2^2128,1104
C2.C42.482C22 = C23.255C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.482C2^2128,1105
C2.C42.483C22 = C24.223C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.483C2^2128,1106
C2.C42.484C22 = C2×C23.83C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.484C2^2128,1126
C2.C42.485C22 = C42.162D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.485C2^2128,1128
C2.C42.486C22 = C42.163D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.486C2^2128,1130
C2.C42.487C22 = C2×C23.84C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.487C2^2128,1132
C2.C42.488C22 = C23.410C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.488C2^2128,1242
C2.C42.489C22 = C23.412C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.489C2^2128,1244
C2.C42.490C22 = C23.413C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.490C2^2128,1245
C2.C42.491C22 = C24.340C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.491C2^2128,1308
C2.C42.492C22 = C23.478C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.492C2^2128,1310
C2.C42.493C22 = C23.494C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.493C2^2128,1326
C2.C42.494C22 = C24.347C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.494C2^2128,1327
C2.C42.495C22 = C23.496C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.495C2^2128,1328
C2.C42.496C22 = C24.348C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.496C2^2128,1329
C2.C42.497C22 = C23.544C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.497C2^2128,1376
C2.C42.498C22 = C2×C23.31D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.498C2^2128,231
C2.C42.499C22 = C42.375D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.499C2^2128,232
C2.C42.500C22 = C24.53D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.500C2^2128,233
C2.C42.501C22 = C42.403D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.501C2^2128,234
C2.C42.502C22 = C42.404D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.502C2^2128,235
C2.C42.503C22 = C24.150D4φ: C22/C2C2 ⊆ Out C2.C4216C2.C4^2.503C2^2128,236
C2.C42.504C22 = C42.55D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.504C2^2128,237
C2.C42.505C22 = C42.56D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.505C2^2128,238
C2.C42.506C22 = C24.55D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.506C2^2128,240
C2.C42.507C22 = C42.57D4φ: C22/C2C2 ⊆ Out C2.C4232C2.C4^2.507C2^2128,241
C2.C42.508C22 = C4242D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.508C2^2128,1022
C2.C42.509C22 = C2×C23.65C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.509C2^2128,1023
C2.C42.510C22 = C439C2φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.510C2^2128,1025
C2.C42.511C22 = C2×C23.67C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.511C2^2128,1026
C2.C42.512C22 = C4214Q8φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.512C2^2128,1027
C2.C42.513C22 = C23.178C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.513C2^2128,1028
C2.C42.514C22 = C23.179C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.514C2^2128,1029
C2.C42.515C22 = C4×C4⋊D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.515C2^2128,1032
C2.C42.516C22 = C4×C22.D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.516C2^2128,1033
C2.C42.517C22 = C4×C22⋊Q8φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.517C2^2128,1034
C2.C42.518C22 = C4×C422C2φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.518C2^2128,1036
C2.C42.519C22 = C4×C4⋊Q8φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.519C2^2128,1039
C2.C42.520C22 = C24.208C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.520C2^2128,1078
C2.C42.521C22 = Q8×C4⋊C4φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.521C2^2128,1082
C2.C42.522C22 = C24.558C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.522C2^2128,1092
C2.C42.523C22 = C24.215C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.523C2^2128,1093
C2.C42.524C22 = C23.247C24φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.524C2^2128,1097
C2.C42.525C22 = C24.219C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.525C2^2128,1098
C2.C42.526C22 = C23.250C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.526C2^2128,1100
C2.C42.527C22 = C23.251C24φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.527C2^2128,1101
C2.C42.528C22 = C23.252C24φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.528C2^2128,1102
C2.C42.529C22 = C2×C23.78C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.529C2^2128,1119
C2.C42.530C22 = C23.288C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.530C2^2128,1120
C2.C42.531C22 = C2×C23.81C23φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.531C2^2128,1123
C2.C42.532C22 = C4215D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.532C2^2128,1124
C2.C42.533C22 = C23.295C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.533C2^2128,1127
C2.C42.534C22 = C4216D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.534C2^2128,1129
C2.C42.535C22 = C425Q8φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.535C2^2128,1131
C2.C42.536C22 = C23.301C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.536C2^2128,1133
C2.C42.537C22 = C42.34Q8φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.537C2^2128,1134
C2.C42.538C22 = C24.258C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.538C2^2128,1157
C2.C42.539C22 = C24.569C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.539C2^2128,1174
C2.C42.540C22 = C23.391C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.540C2^2128,1223
C2.C42.541C22 = C23.401C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.541C2^2128,1233
C2.C42.542C22 = C23.426C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.542C2^2128,1258
C2.C42.543C22 = C23.429C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.543C2^2128,1261
C2.C42.544C22 = C23.431C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.544C2^2128,1263
C2.C42.545C22 = C23.432C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.545C2^2128,1264
C2.C42.546C22 = C4219D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.546C2^2128,1272
C2.C42.547C22 = C4220D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.547C2^2128,1273
C2.C42.548C22 = C42.167D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.548C2^2128,1274
C2.C42.549C22 = C23.443C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.549C2^2128,1275
C2.C42.550C22 = C42.171D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.550C2^2128,1280
C2.C42.551C22 = C42.38Q8φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.551C2^2128,1338
C2.C42.552C22 = C24.592C23φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.552C2^2128,1371
C2.C42.553C22 = C42.193D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.553C2^2128,1372
C2.C42.554C22 = C42.194D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.554C2^2128,1373
C2.C42.555C22 = C42.195D4φ: C22/C2C2 ⊆ Out C2.C42128C2.C4^2.555C2^2128,1374
C2.C42.556C22 = C23.546C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.556C2^2128,1378
C2.C42.557C22 = C23.548C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.557C2^2128,1380
C2.C42.558C22 = C23.551C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.558C2^2128,1383
C2.C42.559C22 = C23.556C24φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.559C2^2128,1388
C2.C42.560C22 = C4231D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.560C2^2128,1389
C2.C42.561C22 = C42.196D4φ: C22/C2C2 ⊆ Out C2.C4264C2.C4^2.561C2^2128,1390
C2.C42.562C22 = C2×C424C4φ: trivial image128C2.C4^2.562C2^2128,999
C2.C42.563C22 = C2×C4×C4⋊C4φ: trivial image128C2.C4^2.563C2^2128,1001
C2.C42.564C22 = C4×C42⋊C2φ: trivial image64C2.C4^2.564C2^2128,1002
C2.C42.565C22 = D4×C42φ: trivial image64C2.C4^2.565C2^2128,1003
C2.C42.566C22 = Q8×C42φ: trivial image128C2.C4^2.566C2^2128,1004
C2.C42.567C22 = C24.524C23φ: trivial image64C2.C4^2.567C2^2128,1006
C2.C42.568C22 = D44C42φ: trivial image64C2.C4^2.568C2^2128,1007
C2.C42.569C22 = Q84C42φ: trivial image128C2.C4^2.569C2^2128,1008
C2.C42.570C22 = C24.217C23φ: trivial image64C2.C4^2.570C2^2128,1095

׿
×
𝔽